/*
 * This class is the manager for all the Valloy Parsing
 * business login.  We may add other helpers classes
 * to keep the business logic kind of independent during the development
 * process.
 */

package uta.valloytoalloy;

/**
 *
 * @author vasr
 */
public class ValloyParser {

    //TODO:

    public boolean ParseClassHierarchy()
    {
        //Step 1: Compute the hierarchy of class declarations
        //Step 2: Construct Sig Class and Sig Objects
        //step 3; Change Class declaration in disj sig declarations
        return true;
    }

    //TODO: Construct SigClass and Sig Objects

    //TODO:
    public void GenerateAlloyFuntions()
    {
        if(ParseClassHierarchy())
        {
            //Step 4:Rename uniquelly each Virtual function
            //Step 5:Add dispatching functions
            //Step 6:Replace super with an approriate static invocation
        }        
    }


}
